Gates Accept Concurrent Behavior

نویسندگان

  • Vineet Gupta
  • Vaughan Pratt
چکیده

We represent concurrent processes as Boolean propositions or gates, cast in the role of accep-tors of concurrent behavior. This properly extends other mainstream representations of concurrent behavior such as event structures, yet is deened more simply. It admits an intrinsic notion of duality that permits processes to be viewed as either schedules or automata. Its algebraic structure is essentially that of linear logic, with its morphisms being consequence-preserving renamings of propositions, and with its operations forming the core of a natural concurrent programming language.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Gages Accept Concurrent Behavior

We represent concurrent processes as Boolean propositions or gates, cast in the role of acceptors of concurrent behavior. This properly extends other mainstream representations of concurrent behavior such as event structures, yet is defined more simply. It admits an intrinsic notion of duality that permits processes to be viewed as either schedules or automata. Its algebraic structure is essent...

متن کامل

Rectification in Graphene Self-Switching Nanodiode Using Side Gates Doping

The electrical properties and rectification behavior of the graphene self-switching diodes by side gates doping with nitrogen and boron atoms were investigated using density functional tight-binding method. The devices gates doping changes the electrical conductivity of the side gates and the semiconductor channel nanoribbons. As a result, the threshold voltage value under the forward bias is s...

متن کامل

Experimental Setup for UV-Programming of Floating- Gate MOS Circuits

In this paper the experimental equipment for UV-programming of floating-gate circuits are presented along with initial results on concurrent UV-programming of digital floating-gate circuits. It is demonstrated that concurrent UV-programming is possible when using real-time reconfigurable gates (Universal Gates). It is also shown that openings in the passivation, enabling UV-programming, works t...

متن کامل

Novel Defect Terminolgy Beside Evaluation And Design Fault Tolerant Logic Gates In Quantum-Dot Cellular Automata

Quantum dot Cellular Automata (QCA) is one of the important nano-level technologies for implementation of both combinational and sequential systems. QCA have the potential to achieve low power dissipation and operate high speed at THZ frequencies. However large probability of occurrence fabrication defects in QCA, is a fundamental challenge to use this emerging technology. Because of these vari...

متن کامل

Interaction of Tetraethylammonium Ion Derivatives with the Potassium Channels of Giant Axons

A number of compounds related to TEA(+) (tetraethylammoniumion) were injected into squid axons and their effects on g(K) (the potassium conductance) were determined. In most of these ions a quaternary nitrogen is surrounded by three ethyl groups and a fourth group that is very hydrophobic. Several of the ions cause inactivation of g(K), a type of ionic gating that is not normally seen in squid ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993